Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
771	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics
772	Chu Spaces: Automata with quantum aspects Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:35:27 Chu space Quantum logic Quantum field theory Boolean algebra John von Neumann Logic Uncertainty principle Matrix mechanics Introduction to quantum mechanics Physics Quantum mechanics Mathematics
773	To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited VAUGHAN PRATT Department of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:16 Order theory Structure Abstraction Lattice theory Chu space Lattice Distributive lattice Distributivity Finite-state machine Mathematics Automata theory Models of computation
774	Bulletin Search Interface The bulletin search interface for the Meteorological Service of Canada http data server is available at http://dd.weather.gc.ca/cgi-bin/bulletin_search.pl. The bulletin searches are conducted vi Add to Reading List Source URL: dd.weather.gc.ca Language: English - Date: 2014-11-27 10:02:06 Automata theory Pattern matching Query languages Query string SQL C Find Computing Software engineering Regular expressions
775	Bulletin Search Interface The bulletin search interface for the Meteorological Service of Canada http data server is available at http://dd.weather.gc.ca/cgi-bin/bulletin_search.pl. The bulletin searches are conducted vi Add to Reading List Source URL: dd.meteo.gc.ca Language: English - Date: 2014-11-27 09:48:54 Automata theory Pattern matching Query languages Query string SQL C Find Computing Software engineering Regular expressions
776	Computability Theory for Neuroscience by Doug Rubino Abstract Neuronal circuits are ubiquitously held to be the substrate of computation in the brain, information processing in single neurons is though of in terms of enc Add to Reading List Source URL: www.isn.ucsd.edu Language: English - Date: 2008-03-26 15:55:05 Automata theory Computer science Computability theory Turing machine Computability Dynamical system Büchi automaton Theory of computation Theoretical computer science Models of computation
777	Journal of Artificial Intelligence Research[removed]705 Submitted 05/14; published[removed]The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Add to Reading List Source URL: www.jair.org Language: English - Date: 2014-12-09 03:01:47 Finite model theory Descriptive complexity Computational complexity theory Automata theory Conjunctive query FO Description logic PSPACE-complete SO Theoretical computer science Applied mathematics Complexity classes
778	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-09-12 07:21:02 Powerset construction Finite-state machine Deterministic automaton Regular expression Regular language Nondeterministic finite automaton Deterministic finite automaton Automata theory Theoretical computer science Computer science
779	A Better -Best List: Practical Determinization of Weighted Finite Tree Automata Jonathan May Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 20:52:07 Theoretical computer science Computer science Computing CYK algorithm Finite state transducer Finite-state machine Parse tree Formal grammar Mehryar Mohri Automata theory Formal languages Models of computation
780	TALN 2004, Session Poster, Fès, 19–21 avril[removed]NLP Applications Based on Weighted Multi-Tape Automata André Kempe Xerox Research Centre Europe – Grenoble Laboratory 6 chemin de Maupertuis – 38240 Meylan – Fr Add to Reading List Source URL: www.afcp-parole.org Language: English - Date: 2010-06-18 08:00:02 Theoretical computer science Formal languages Finite state transducer Turing machine Formal methods Turing machine equivalents Automata theory Theory of computation Models of computation

UPDATE